Z. Baarir: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2006 2nd International Conference on Information & Communication Technologies - Damascus, Syria (24-28 April 2006)] 2006 2nd International Conference on Information & Communication Technologies - Color Image Coding by Modified Embedded Zerotree Wavelet (EZW) Algorithm

Ouafi, A., Ahmed, A.T., Baarir, Z., Doghmane, N., Zitouni, A.

Year:

2006

Language:

english

File:

PDF, 2.33 MB

english, 2006

2

[IEEE 2012 Second International Workshop on Advanced Information Systems for Enterprises (IWAISE) - Constantine, Algeria (2012.11.10-2012.11.12)] 2012 Second International Workshop on Advanced Information Systems for Enterprises - Tutorial 1: Modeling and Verifying Distributed Systems with Petri Nets

Baarir, Souheib, Kordon, Fabrice

Year:

2012

Language:

english

File:

PDF, 110 KB

english, 2012

3

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Planning for declarative processes

Laurent, Yoann, Bendraou, Reda, Baarir, Souheib, Gervais, Marie-Pierre

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

4

Reconfigurable GSPNs: A modeling formalism of evolvable discrete-event systems

Tigane, Samir, Kahloul, Laid, Benharzallah, Saber, Baarir, Souheib, Bourekkache, Samir

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 1.14 MB

english, 2019

5

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - New Solvers for Asymmetric Systems in GreatSPN

Baarir, Souheib, Beccuti, Marco, Franceschinis, Giuliana

Year:

2008

Language:

english

File:

PDF, 111 KB

english, 2008

6

[ACM Press the 2017 International Conference - Paris, France (2017.07.05-2017.07.07)] Proceedings of the 2017 International Conference on Software and System Process - ICSSP 2017 - First international workshop on verification of business and software processes

Baarir, Souheib, Klai, Kais

Year:

2017

Language:

english

File:

PDF, 345 KB

english, 2017

7

A Modified Embedded Zerotree Wavelet (MEZW) Algorithm for

A. Ouafi, A. Taleb Ahmed, Z. Baarir, A. Zitouni

Journal:

Journal of Mathematical Imaging and Vision

Year:

2008

Language:

english

File:

PDF, 972 KB

english, 2008

8

Effect of the Pulmonary Embolism Rule-Out Criteria on Subsequent Thromboembolic Events Among Low-Risk Emergency Department Patients

Freund, Yonathan, Cachanado, Marine, Aubry, Adeline, Orsini, Charlotte, Raynal, Pierre-Alexis, Féral-Pierssens, Anne-Laure, Charpentier, Sandrine, Dumas, Florence, Baarir, Nacera, Truchot, Jennifer, D

Journal:

JAMA The Journal of the American Medical Association

Year:

2018

Language:

english

File:

PDF, 340 KB

english, 2018

9

Feasibility analysis for robustness quantification by symbolic model checking

Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younes

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 713 KB

english, 2011

10

Optimisation technique of camera placement for motion capture simulations

Aissaoui, A., Baarir, Z., Ouafi, A., Pudlo, P., Taleb-Ahmed, A., Gillet, C., Deraz, F.

Journal:

Computer Methods in Biomechanics & Biomedical Engineering

Year:

2014

Language:

english

File:

PDF, 129 KB

english, 2014

11

A new method for the optical flow estimation and segmentation of moving objects 'NMES'

Ourchani, Amina, Baarir, Zine Eddine, Ahmed, Abdelmalik Taleb

Journal:

International Journal of Intelligent Systems Technologies and Applications

Year:

2018

File:

PDF, 3.79 MB

2018

12

On the Formal Verification of Middleware Behavioral Properties

Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Soheib Baarir, Fabrice Kordon

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 477 KB

english, 2005

13

[IEEE 2011 IEEE Workshop on Signal Processing Systems (SiPS) - Beirut, Lebanon (2011.10.4-2011.10.7)] 2011 IEEE Workshop on Signal Processing Systems (SiPS) - Fast modified Horn & Schunck method for the estimation of optical flow fields

Charif, Z-E. Baarir F.

Year:

2011

Language:

english

File:

PDF, 596 KB

english, 2011

14

[IEEE 2016 5th International Conference on Multimedia Computing and Systems (ICMCS) - Marrakech, Morocco (2016.9.29-2016.10.1)] 2016 5th International Conference on Multimedia Computing and Systems (ICMCS) - Still image compression using Curvelets and logarithmic scalar quantization technique

Kadri, Oussama, Baarir, Zine-Eddine

Year:

2016

Language:

english

File:

PDF, 1.11 MB

english, 2016

15

The role of coagulation marker fibrin D-dimer in early diagnosis of catatonia

Sadeq Haouzir, Xavier Lemoine, Marie Desbordes, Mathieu Follet, Claire Meunier, Zohra Baarir, Gabrielle Allio, Jean-François Menard, Laurence Briant, Freddy Jouen, Michel Petit

Journal:

Psychiatry Research

Year:

2009

Language:

english

File:

PDF, 221 KB

english, 2009

16

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - A framework to formally verify conformance of a software process to a software method

Khelladi, Djamel-Eddine, Bendraou, Reda, Baarir, Souheib, Laurent, Yoann, Gervais, Marie-Pierre

Year:

2015

Language:

english

File:

PDF, 1010 KB

english, 2015

17

Lumping partially symmetrical stochastic models

S. Baarir, M. Beccuti, C. Dutheillet, G. Franceschinis, S. Haddad

Journal:

Performance Evaluation

Year:

2011

Language:

english

File:

PDF, 1.49 MB

english, 2011

18

[IEEE First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. - Enschede, Netherlands (2004.11.12-2004.11.12)] First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. - Extended SWN solvers in GreatSPN

Donatelli, S., Ilie, J.M., Baarir, S., Beccuti, M., Delamare, C., Dutheillet, C., Franceschinis, G., Gaeta, R., Moreaux, P.

Year:

2004

Language:

english

File:

PDF, 244 KB

english, 2004

19

[IEEE Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - Torino, Italy (2005.09.19-2005.09.22)] Second International Conference on the Quantitative Evaluation of Systems (QEST'05) - On the use of exact lumpability in partially symmetrical well-formed nets

Baarir, S., Dutheillet, C., Haddad, S., Ilie, J.M.

Year:

2005

Language:

english

File:

PDF, 322 KB

english, 2005

20

Un train peut en cacher un autre

F. Djamouri, N. Baarir, P. Ray

Journal:

Annales françaises de médecine d'urgence

Year:

2012

Language:

french

File:

PDF, 384 KB

french, 2012

21

[IEEE 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT) - Chicago, Illinois, USA (2009.10.7-2009.10.9)] 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems - Complementary Formal Approaches for Dependability Analysis

Baarir, Souheib, Braunstein, Cécile, Clavel, Renaud, Encrenaz, Emmanuelle, Ilié, Jean-Michel, Leveugle, Régis, Mounier, Isabelle, Pierre, Laurence, Poitrenaud, Denis

Year:

2009

Language:

english

File:

PDF, 349 KB

english, 2009

22

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Emptiness Check of Powerset Buchi Automata using Inclusion Tests

Baarir, Souheib, Duret-Lutz, Alexandre

Year:

2007

Language:

english

File:

PDF, 311 KB

english, 2007

23

Comparaison de l'échodoppler couleur et de l'échoendoscopie pour l'évaluation préopératoire de l'axe mésentéricoportal dans les lésions pancréatiques

N Baarir, G Amouyal, JM Faintuch, S Houry, M Huguier

Journal:

Year:

1998

File:

PDF, 549 KB

1998

24

19 Short Term Recurrence and Severe Outcome Following Emergency Department Visit for Seizure: Results from the BISTRO International Prospective Trial

Freund, Y., Blooom, B., Bokobza, J., Baarir, N., Laribi, S., Harris, T., Navarro, V., Pearse, R., Riou, B., Hausfater, P.

Journal:

Annals of Emergency Medicine

Year:

2014

Language:

english

File:

PDF, 50 KB

english, 2014

25

[IEEE 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - St. Petersburg, Russia (2017.3.6-2017.3.8)] 2017 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP) - Parallel Satisfiability Solver Based on Hybrid Partitioning Method

Menouer, Tarek, Baarir, Souheib

Year:

2017

Language:

english

File:

PDF, 450 KB

english, 2017

26

A new predictive medical approach based on data mining and Symbiotic Organisms Search algorithm

Noureddine, Samia, Zineeddine, Baarir, Toumi, Abida, Betka, Abir, Benharkat, AÃ¯cha-Nabila

Journal:

International Journal of Computers and Applications

Year:

2020

File:

PDF, 4.49 MB

2020

27

[IEEE Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004. - Damascus, Syria (19-23 April 2004)] Proceedings. 2004 International Conference on Information and Communication Technologies: From Theory to Applications, 2004. - Study of filter effects in wavelet image compression

Terki, N., Doghmane, N., Baarir, Z., Ouafi, A.

Year:

2004

Language:

english

File:

PDF, 116 KB

english, 2004

28

Extending GSPNs for the modelling, analysis and performance evaluation of dynamic systems

Tigane, Samir, Kahloul, Laid, Bourekkache, Samir, Baarir, Souheib

Journal:

International Journal of Critical Computer-Based Systems

Year:

2018

File:

PDF, 458 KB

2018

29

[IEEE 2012 12th International Conference on Application of Concurrency to System Design (ACSD) - Hamburg, TBD, Germany (2012.06.27-2012.06.29)] 2012 12th International Conference on Application of Concurrency to System Design - State Space Analysis Using Symmetries on Decision Diagrams

Colange, Maximilien, Kordon, Fabrice, Thierry-Mieg, Yann, Baarir, Souheib

Year:

2012

Language:

english

File:

PDF, 271 KB

english, 2012

30

[IEEE 2006 IEEE International Symposium on Industrial Electronics - Montreal, Que. (2006.07.9-2006.07.13)] 2006 IEEE International Symposium on Industrial Electronics - A Fast Modified Horn&Schunck Method

Charif, F., Baarir, Z-e.

Year:

2006

Language:

english

File:

PDF, 5.80 MB

english, 2006

31

Designing a camera placement assistance system for human motion capture based on a guided genetic algorithm

Aissaoui, Azeddine, Ouafi, Abdelkrim, Pudlo, Philippe, Gillet, Christophe, Baarir, Zine-Eddine, Taleb-Ahmed, Abdelmalik

Journal:

Virtual Reality

Year:

2017

Language:

english

File:

PDF, 2.01 MB

english, 2017

32

Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems

Baarir, Soheib, Haddad, Serge, Ilié, Jean-michel

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 8.62 MB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски